An inexact dual logarithmic barrier method for solving sparse semidefinite programs

A dual logarithmic barrier method for solving large, sparse semidefinite programs is proposed in this paper. The method avoids any explicit use of the primal variable X and therefore is well-suited to problems with a sparse dual matrix S. It relies on inexact Newton steps in dual space which are computed by the conjugate gradient method applied to the Schur complement of the reduced KKT system. The method may take advantage of low-rank representations of matrices Ai to perform implicit matrix-vector products with the Schur complement matrix and to compute only specific parts of this matrix. This allows the construction of the partial Cholesky factorization of the Schur complement matrix which serves as a good preconditioner for it and permits the method to be run in a matrix-free scheme. Convergence properties of the method are studied and a polynomial complexity result is extended to the case when inexact Newton steps are employed. A Matlab-based implementation is developed and preliminary computational results of applying the method to maximum cut and matrix completion problems are reported

Sharper and Simpler Nonlinear Interpolants for Program Verification

Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and SDP optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhancement is made possible by: theoretical observations in real algebraic geometry; and our continued fraction-based algorithm that rounds off (potentially erroneous) numerical solutions of SDP solvers. Experiment results support our tool's effectiveness; we also demonstrate the benefit of sharp and simple interpolants in program verification examples

Polynomial-sized Semidefinite Representations of Derivative Relaxations of Spectrahedral Cones

We give explicit polynomial-sized (in $n$ and $k$) semidefinite representations of the hyperbolicity cones associated with the elementary symmetric polynomials of degree $k$ in $n$ variables. These convex cones form a family of non-polyhedral outer approximations of the non-negative orthant that preserve low-dimensional faces while successively discarding high-dimensional faces. More generally we construct explicit semidefinite representations (polynomial-sized in $k,m$, and $n$) of the hyperbolicity cones associated with $k$th directional derivatives of polynomials of the form $p(x) = \det(\sum_{i=1}^{n}A_i x_i)$ where the $A_i$ are $m\times m$ symmetric matrices. These convex cones form an analogous family of outer approximations to any spectrahedral cone. Our representations allow us to use semidefinite programming to solve the linear cone programs associated with these convex cones as well as their (less well understood) dual cones.Comment: 20 pages, 1 figure. Minor changes, expanded proof of Lemma

Design for occupational safety and health of workers in construction in developing countries: A study of architects in Nigeria

Purpose. Design for safety (DfS) of workers is amongst the prominent ways of tackling poor occupational safety and health performance in construction. However, in developing countries there is extremely limited research on DfS. This study thus makes an important contribution to the subject of DfS in developing countries by specifically examining the awareness and practice of DfS amongst architects within the construction sector of Nigeria. Materials and methods. A survey of architects, yielding 161 valid responses, was conducted. Results. While there is high awareness of the concept of DfS, the actual practice is low. Additionally, although there is high interest in DfS training, the engagement in DfS training is low. Significantly, awareness of DfS, training and education related to DfS, and membership of a design professional body have very limited bearing on the practice of DfS by architects. Conclusions. The findings are thus symptomatic of the prevalence of influential DfS implementation barriers within the construction sector. Industry stakeholders should seek to raise the profile of DfS practice within the sector. Furthermore, similar empirical studies in the construction sector of other developing countries would be useful in shedding light on the status of DfS in these countries

Columnar cell lesions of the canine mammary gland: pathological features and immunophenotypic analysis

<p>Abstract</p> <p>Background</p> <p>It has been suggested that columnar cell lesions indicate an alteration of the human mammary gland involved in the development of breast cancer. They have not previously been described in canine mammary gland. The aim of this paper is describe the morphologic spectrum of columnar cell lesions in canine mammary gland specimens and their association with other breast lesions.</p> <p>Methods</p> <p>A total of 126 lesions were subjected to a comprehensive morphological review based upon the human breast classification system for columnar cell lesions. The presence of preinvasive (epithelial hyperplasia and in situ carcinoma) and invasive lesions was determined and immunophenotypic analysis (estrogen receptor (ER), progesterone receptor (PgR), high molecular weight cytokeratin (34βE-12), E-cadherin, Ki-67, HER-2 and P53) was perfomed.</p> <p>Results</p> <p>Columnar cell lesions were identified in 67 (53.1%) of the 126 canine mammary glands with intraepithelial alterations. They were observed in the terminal duct lobular units and characterized at dilated acini may be lined by several layers of columnar epithelial cells with elongated nuclei. Of the columnar cell lesions identified, 41 (61.2%) were without and 26 (38.8%) with atypia. Association with ductal hyperplasia was observed in 45/67 (67.1%). Sixty (89.5%) of the columnar cell lesions coexisted with neoplastic lesions (20 in situ carcinomas, 19 invasive carcinomas and 21 benign tumors). The columnar cells were ER, PgR and E-cadherin positive but negative for cytokeratin 34βE-12, HER-2 and P53. The proliferation rate as measured by Ki-67 appeared higher in the lesions analyzed than in normal TDLUs.</p> <p>Conclusions</p> <p>Columnar cell lesions in canine mammary gland are pathologically and immunophenotypically similar to those in human breast. This may suggest that dogs are a suitable model for the comparative study of noninvasive breast lesions.</p

Graft-vs-tumor effect in patients with advanced nasopharyngeal cancer treated with nonmyeloablative allogeneic PBSC transplantation

While nonmyeloablative peripheral blood stem cell transplantation (NST) has shown efficacy against several solid tumors, it is untested in nasopharyngeal cancer (NPC). In a phase II clinical trial, 21 patients with pretreated metastatic NPC underwent NST with sibling PBSC allografts, using CY conditioning, thymic irradiation and in vivo T-cell depletion with thymoglobulin. Stable lymphohematopoietic chimerism was achieved in most patients and prophylactic CYA was tapered at a median of day +30. Seven patients (33%) showed partial response and three (14%) achieved stable disease. Four patients were alive at 2 years and three showed prolonged disease control of 344, 525 and 550 days. With a median follow-up of 209 (4–1147) days, the median PFS was 100 days (95% confidence interval (CI), 66–128 days), and median OS was 209 days (95% CI, 128–236 days). Patients with chronic GVHD had better survival—median OS 426 days (95% CI, 194–NE days) vs 143 days (95% CI, 114–226 days) (P=0.010). Thus, NST may induce meaningful clinical responses in patients with advanced NPC

Multiscale photoacoustic tomography using reversibly switchable bacterial phytochrome as a near-infrared photochromic probe

Photoacoustic tomography (PAT) of genetically encoded probes allows for imaging of targeted biological processes deep in tissues with high spatial resolution; however, high background signals from blood can limit the achievable detection sensitivity. Here we describe a reversibly switchable nonfluorescent bacterial phytochrome for use in multiscale photoacoustic imaging, BphP1, with the most red-shifted absorption among genetically encoded probes. BphP1 binds a heme-derived biliverdin chromophore and is reversibly photoconvertible between red and near-infrared light-absorption states. We combined single-wavelength PAT with efficient BphP1 photoswitching, which enabled differential imaging with substantially decreased background signals, enhanced detection sensitivity, increased penetration depth and improved spatial resolution. We monitored tumor growth and metastasis with ~100-μm resolution at depths approaching 10 mm using photoacoustic computed tomography, and we imaged individual cancer cells with a suboptical-diffraction resolution of ~140 nm using photoacoustic microscopy. This technology is promising for biomedical studies at several scales

Bovine Polledness – An Autosomal Dominant Trait with Allelic Heterogeneity

The persistent horns are an important trait of speciation for the family Bovidae with complex morphogenesis taking place briefly after birth. The polledness is highly favourable in modern cattle breeding systems but serious animal welfare issues urge for a solution in the production of hornless cattle other than dehorning. Although the dominant inhibition of horn morphogenesis was discovered more than 70 years ago, and the causative mutation was mapped almost 20 years ago, its molecular nature remained unknown. Here, we report allelic heterogeneity of the POLLED locus. First, we mapped the POLLED locus to a ∼381-kb interval in a multi-breed case-control design. Targeted re-sequencing of an enlarged candidate interval (547 kb) in 16 sires with known POLLED genotype did not detect a common allele associated with polled status. In eight sires of Alpine and Scottish origin (four polled versus four horned), we identified a single candidate mutation, a complex 202 bp insertion-deletion event that showed perfect association to the polled phenotype in various European cattle breeds, except Holstein-Friesian. The analysis of the same candidate interval in eight Holsteins identified five candidate variants which segregate as a 260 kb haplotype also perfectly associated with the POLLED gene without recombination or interference with the 202 bp insertion-deletion. We further identified bulls which are progeny tested as homozygous polled but bearing both, 202 bp insertion-deletion and Friesian haplotype. The distribution of genotypes of the two putative POLLED alleles in large semi-random sample (1,261 animals) supports the hypothesis of two independent mutations

Mutations in the SLC2A9 Gene Cause Hyperuricosuria and Hyperuricemia in the Dog

Allantoin is the end product of purine catabolism in all mammals except humans, great apes, and one breed of dog, the Dalmatian. Humans and Dalmatian dogs produce uric acid during purine degradation, which leads to elevated levels of uric acid in blood and urine and can result in significant diseases in both species. The defect in Dalmatians results from inefficient transport of uric acid in both the liver and renal proximal tubules. Hyperuricosuria and hyperuricemia (huu) is a simple autosomal recessive trait for which all Dalmatian dogs are homozygous. Therefore, in order to map the locus, an interbreed backcross was used. Linkage mapping localized the huu trait to CFA03, which excluded the obvious urate transporter 1 gene, SLC22A12. Positional cloning placed the locus in a minimal interval of 2.5 Mb with a LOD score of 17.45. A critical interval of 333 kb containing only four genes was homozygous in all Dalmatians. Sequence and expression analyses of the SLC2A9 gene indicated three possible mutations, a missense mutation (G616T;C188F) and two promoter mutations that together appear to reduce the expression levels of one of the isoforms. The missense mutation is associated with hyperuricosuria in the Dalmatian, while the promoter SNPs occur in other unaffected breeds of dog. Verification of the causative nature of these changes was obtained when hyperuricosuric dogs from several other breeds were found to possess the same combination of mutations as found in the Dalmatian. The Dalmatian dog model of hyperuricosuria and hyperuricemia underscores the importance of SLC2A9 for uric acid transport in mammals

Unraveling gene regulatory networks from time-resolved gene expression data -- a measures comparison study

Peer reviewedPublisher PD